#ifndef KERNEL_H
#define KERNEL_H

void user_input(char *line);

#endif
